#!/bin/bash
cat  > file1
exec < file2
cat  > file3
exec < /dev/tty
cat  > file4
echo . . . $0 done\!
